21. Logical Foundations of Cyber-Physical Systems /
پدیدآورنده : by André Platzer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.,Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.
رده :
QA8
.
9-QA10
.
3
22. Logical Structures for Representation of Knowledge and Uncertainty
پدیدآورنده : by Ellen Hisdal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Operations research.
23. Many-sorted logic and its applications
پدیدآورنده : edited by K. Meinke and J.V. Tucker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
76
.
9
.
M35
M35
1993
24. Nonclassical Logics and Information Processing :
پدیدآورنده : edited by David Pearce, Heinrich Wansing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
25. Practical Applications of Computational Intelligence Techniques
پدیدآورنده : edited by Lakhmi Jain, Philippe Wilde.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
26. Rough Sets :
پدیدآورنده : by Zdzisław Pawlak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
Q335
.
B993
1991
27. Soft Computing for Knowledge Discovery
پدیدآورنده : by James G. Shanahan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
28. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
29. The logic of information structures
پدیدآورنده : Wansing, Heinrich T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
681
30. The logic of information structures
پدیدآورنده : Wansing, Heinrich
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
31. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
پدیدآورنده : by Bilal M. Ayyub, Madan M. Gupta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.
